[IA64] xenctx: fix rse arithmetic

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff --git a/tools/xentrace/xenctx.c b/tools/xentrace/xenctx.c
index 274da0b41b29dd446130dafe085a0d6c0d0b7922..912bcdf93797bfec7c129d4775c06118395e23d6 100644 (file)
--- a/tools/xentrace/xenctx.c
+++ b/tools/xentrace/xenctx.c
@@ -489,7 +489,7 @@ void print_ctx(vcpu_guest_context_t *ctx)
     for (i = 0; i < cfm_sof; i++) {
         int off = cfm_sof - i;
         unsigned int rbs_off =
-            (((62 - ((rbs_size + regs->rbs_voff) % 64) + off)) / 63) + off;
+            (((62 - ((rbs_size + regs->rbs_voff) % 63) + off)) / 63) + off;
         if (rbs_off > rbs_size)
             break;
         printf(" r%02d: %016lx%s", 32 + i,